using System;
using System.Collections.Generic;
using System.Text;
using Microsoft.Pex.Framework;
using Microsoft.VisualStudio.TestTools.UnitTesting;
using PexMe.Attribute;
using Microsoft.Pex.Framework.Validation;

namespace Seqex.Tests
{
    [PexClass(typeof(Graph))]
    public partial class GraphTest
    {
            [PexMethod]
            public void AddEdge([PexAssumeUnderTest]Graph target, Edge edge)
            {
                target.AddEdge(edge);
            }

            [PexMethod]
            public void AddVertex([PexAssumeUnderTest]Graph target, Vertex vertex)
            {
                target.AddVertex(vertex);
            }

            [PexMethod]
            public void Clear([PexAssumeUnderTest]Graph target)
            {
                target.Clear();
            }

            [PexMethod]
            public Graph Constructor()
            {
                Graph target = new Graph();
                return target;
            }

            [PexMethod]
            public bool Contains([PexAssumeUnderTest]Graph target, Vertex vertex)
            {
                bool result = target.Contains(vertex);
                return result;
            }
        
    }
}
